#!/usr/bin/env python3
# -*- coding: utf-8 -*-

"""Recursive Funtions
"""

def is_true(s):
    # Prove s is true, only for funny
    print(s, '是真的  <==>')
    print(is_true(s+'是真的'))


is_true('雪是白色的') # 雪是白的 当且仅当 雪是白的是真的 当且仅当 雪是白的是真的是真的